package br.usp.tuf.test;

import br.usp.tuf.annotations.ParameterJNeticTest;

import com.google.java.contract.Ensures;
import com.google.java.contract.Requires;

//@Invariant({ "value" })
public class ClasseComAnnotations {

	public ClasseComAnnotations() {
	}

	public ClasseComAnnotations(Integer a, Integer b) {
	}

	@Ensures({ "result == a + b" })
	@Requires({ "a > 0", "b > 0", "p.getIdade()>0" })
	public int somar( int a,
			@ParameterJNeticTest("b") int b,
			@ParameterJNeticTest("t") String t,
			@ParameterJNeticTest("p") Pessoa p) {
		return a + b;
	}
}
